网络化《高等数学》学习系统的设计与实现

介绍了《高等数学》课程网络化学习系统的设计思路与实现方法.系统利用网络多媒体的灵活表现形式,双向互动等功能,将传统的教学学习环节与现代多媒体网络技术进行有机的结合,使学生学习变得生动有趣且不受时间、空间的限制,为学生课后自主学习提供了良好的学习环境.     

Elementary constructive theory of Henselian local rings

We give an elementary theory of Henselian local rings and construct the Henselisation of a local ring. All our theorems have an algorithmic content. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

信息技术与大学数学课程整合的方式与理论探讨

信息技术与大学数学课程整合正成为当前我国信息技术教育乃至整个教育信息化进程中的一个热点问题,探讨其整合的方式及理论基础是非常必要的.本文首先结合大学数学案例探讨了整合的三种方式:动态的课堂演示型、单机的数学实验型和全交互的网络教学型,其次探讨了整合所依据的四种理论:传播理论、建构主义理论、教学设计理论和系统理论,最后提出了自己对信息技术与大学数学课程整合的一些思考.     

Complete rank theorem of advanced calculus and singularities of bounded linear operators

Let E and F be Banach spaces, f: U ⊂ E → F be a map of C ^r (r ⩾ 1), x ₀ ∈ U, and ft (x ₀) denote the FréLechet differential of f at x ₀. Suppose that f′(x ₀) is double split, Rank(f′(x ₀)) = ∞, dimN(f′(_{x 0})) > 0 and codimR(f′(x ₀)) s> 0. The rank theorem in advanced calculus asks to answer what properties of f ensure that f(x) is conjugate to f′(x ₀) near x ₀. We have proved that the conclusion of the theorem is equivalent to one kind of singularities for bounded linear operators, i.e., x ₀ is a locally fine point for f′(x) or generalized regular point of f(x); so, a complete rank theorem in advanced calculus is established, i.e., a sufficient and necessary condition such that the conclusion of the theorem to be held is given.      

《数学实验》课程建设的认识与实践

我们认为 :数学实验 ,就是对数学进行折腾 .我们提出一些饶有趣味而又有深刻背景的问题 ,让学生尝试自己去解决 ,借助于计算机 ,自己动手去折腾 ,在折腾过程中学习 ,观察现象和结果 ,猜测和验证规律 ,尝试和体验数学的探索、发现和应用     

高校基础数学教学的探讨

本文从《经济数学基础》课程的培养目标、高校大学生的数学能力和数学实验课的开设几个方面 ,对高校基础数学教学提出自己的一些看法 ,供同行参考 .     

期望效用函数理论及其应用

分析了期望效用函数理论,并将其运用于图书馆的管理工作,从中发现其规律性.为图书馆的科学管理提供了一条有效的途径.     

大剂量补充微量元素治疗“胃溃疡型腺癌伴广泛转移”一例

阐述了一例胃底溃疡型腺癌伴周边器官淋巴组织广泛转移患者，行“贲门MT术”姑息治疗后，经九个月大剂量多种微量元素制剂补充达到很好的临床效果。     

Research on a Rice Counting Algorithm Based on an Improved MCNN and a Density Map

The thousand grain weight is an index of size, fullness and quality in crop seed detection and is an important basis for field yield prediction. To detect the thousand grain weight of rice requires the accurate counting of rice. We collected a total of 5670 images of three different types of rice seeds with different qualities to construct a model. Considering the different shapes of different types of rice, this study used an adaptive Gaussian kernel to convolve with the rice coordinate function to obtain a more accurate density map, which was used as an important basis for determining the results of subsequent experiments. A Multi-Column Convolutional Neural Network was used to extract the features of different sizes of rice, and the features were fused by the fusion network to learn the mapping relationship from the original map features to the density map features. An advanced prior step was added to the original algorithm to estimate the density level of the image, which weakened the effect of the rice adhesion condition on the counting results. Extensive comparison experiments show that the proposed method is more accurate than the original MCNN algorithm.     

Causal Intuition and Delayed-Choice Experiments

The conventional explanation of delayed-choice experiments appears to violate our causal intuition at the quantum level. I reanalyze these experiments using time-reversed and time-symmetric formulations of quantum mechanics. The time-reversed formulation does not give the same experimental predictions. The time-symmetric formulation gives the same experimental predictions but actually violates our causal intuition at the quantum level. I explore the reasons why our causal intuition may be wrong at the quantum level, suggest how conventional causation might be recovered in the classical limit, propose a quantum analog to the classical block universe viewpoint, and speculate on implications of the time-symmetric formulation for cosmological boundary conditions.